<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>
<title>ProofAsstBoss</title>
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
</head>
<body>
<script type="text/javascript"><!--
    if (location.href.indexOf('is-external=true') == -1) {
        parent.document.title="ProofAsstBoss";
    }
//-->
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar_top">
<!--   -->
</a><a href="#skip-navbar_top" title="Skip navigation links"></a><a name="navbar_top_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/util/Paths.html" title="class in mmj.util"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/util/ProofAsstBoss.html" target="_top">Frames</a></li>
<li><a href="ProofAsstBoss.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#fields_inherited_from_class_mmj.util.Boss">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_detail">Method</a></li>
</ul>
</div>
<a name="skip-navbar_top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">mmj.util</div>
<h2 title="Class ProofAsstBoss" class="title">Class ProofAsstBoss</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li>java.lang.Object</li>
<li>
<ul class="inheritance">
<li><a href="../../mmj/util/Boss.html" title="class in mmj.util">mmj.util.Boss</a></li>
<li>
<ul class="inheritance">
<li>mmj.util.ProofAsstBoss</li>
</ul>
</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<br>
<pre>public class <span class="strong">ProofAsstBoss</span>
extends <a href="../../mmj/util/Boss.html" title="class in mmj.util">Boss</a></pre>
<div class="block">Responsible for building and triggering ProofAsst.
 <ul>
 <li>Remember that Messages, LogicalSystem and other objects may have changed.
 Don't worry about whether or not file is loaded, the LogicalSystemBoss will
 throw an exception if attempt is made to retrieve LogicalSystem if it is not
 loaded and error free.
 <li>If clear, RunParm values to null, etc.
 </ul></div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field_summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<ul class="blockList">
<li class="blockList"><a name="fields_inherited_from_class_mmj.util.Boss">
<!--   -->
</a>
<h3>Fields inherited from class&nbsp;mmj.util.<a href="../../mmj/util/Boss.html" title="class in mmj.util">Boss</a></h3>
<code><a href="../../mmj/util/Boss.html#batchFramework">batchFramework</a></code></li>
</ul>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colOne" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colOne"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#ProofAsstBoss(mmj.util.BatchFramework)">ProofAsstBoss</a></strong>(<a href="../../mmj/util/BatchFramework.html" title="class in mmj.util">BatchFramework</a>&nbsp;batchFramework)</code>
<div class="block">Constructor with BatchFramework for access to environment.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method_summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span>Methods</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#doPreprocessRequestBatchTest(mmj.util.RunParmArrayEntry)">doPreprocessRequestBatchTest</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Exercises the PreprocessRequest code.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#doProofAsstBatchTest(mmj.util.RunParmArrayEntry)">doProofAsstBatchTest</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Reads and unifies theorem proofs in test mode.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#doProofAsstExportToFile(mmj.util.RunParmArrayEntry)">doProofAsstExportToFile</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Exports currently loaded theorem proofs to an export file.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#doRunParmCommand(mmj.util.RunParmArrayEntry)">doRunParmCommand</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Executes a single command from the RunParmFile.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#doRunProofAsstGUI(mmj.util.RunParmArrayEntry)">doRunProofAsstGUI</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Executes the RunProofAsstGUI command, prints any messages, etc.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#doStepSelectorBatchTest(mmj.util.RunParmArrayEntry)">doStepSelectorBatchTest</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Exercises the StepSelectorSearch code.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstAsciiRetestParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editProofAsstAsciiRetestParm</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                            java.lang.String&nbsp;valueCaption,
                            int&nbsp;valueFieldNbr)</code>
<div class="block">Validate Proof Assistant AsciiRetest Parm.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstAssrtListFreespace(mmj.util.RunParmArrayEntry)">editProofAsstAssrtListFreespace</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstAssrtListFreespace.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstAutoReformat(mmj.util.RunParmArrayEntry)">editProofAsstAutoReformat</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstAutoReformat RunParm.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstBackgroundColorRGB(mmj.util.RunParmArrayEntry)">editProofAsstBackgroundColorRGB</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstBackgroundColorRGB RunParm.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstDefaultFileNameSuffix(mmj.util.RunParmArrayEntry)">editProofAsstDefaultFileNameSuffix</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate Proof Assistant Default File Name Suffix</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstDjVarsSoftErrors(mmj.util.RunParmArrayEntry)">editProofAsstDjVarsSoftErrors</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">edit ProofAsstDjVarsSoftErrors RunParm.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstErrorMessageColumns(mmj.util.RunParmArrayEntry)">editProofAsstErrorMessageColumns</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstErrorMessageColumns</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstErrorMessageRows(mmj.util.RunParmArrayEntry)">editProofAsstErrorMessageRows</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstErrorMessageRows</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstExportDeriveFormulasParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editProofAsstExportDeriveFormulasParm</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                                     java.lang.String&nbsp;valueCaption,
                                     int&nbsp;valueFieldNbr)</code>
<div class="block">Validate Proof Assistant Export DeriveFormulas Parm ("DeriveFormulas" or
 "NoDeriveFormulas" or "").</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected java.io.BufferedWriter</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstExportFileRunParm(mmj.util.RunParmArrayEntry, java.lang.String)">editProofAsstExportFileRunParm</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                              java.lang.String&nbsp;valueCaption)</code>
<div class="block">Validate output ProofAsst Export File RunParm options and returns
 FileWriter object</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstExportFormatUnifiedParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editProofAsstExportFormatUnifiedParm</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                                    java.lang.String&nbsp;valueCaption,
                                    int&nbsp;valueFieldNbr)</code>
<div class="block">Validate Proof Assistant Export Format Parm ("unified" or "un-unified").</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstExportHypsRandomizedParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editProofAsstExportHypsRandomizedParm</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                                     java.lang.String&nbsp;valueCaption,
                                     int&nbsp;valueFieldNbr)</code>
<div class="block">Validate Proof Assistant Export Hyps Randomized Parm ("Randomized" or
 "NotRandomized").</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstFontBold(mmj.util.RunParmArrayEntry)">editProofAsstFontBold</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstFontBold RunParm.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstFontFamily(mmj.util.RunParmArrayEntry)">editProofAsstFontFamily</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstFontFamily RunParm.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstFontSize(mmj.util.RunParmArrayEntry)">editProofAsstFontSize</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstFontSize RunParm.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstForegroundColorRGB(mmj.util.RunParmArrayEntry)">editProofAsstForegroundColorRGB</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstForegroundColorRGB RunParm.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstFormulaLeftCol(mmj.util.RunParmArrayEntry)">editProofAsstFormulaLeftCol</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstFormulaLeftCol.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstFormulaRightCol(mmj.util.RunParmArrayEntry)">editProofAsstFormulaRightCol</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstFormulaRightCol.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstImportCompareDJsParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editProofAsstImportCompareDJsParm</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                                 java.lang.String&nbsp;valueCaption,
                                 int&nbsp;valueFieldNbr)</code>
<div class="block">Validate Proof Assistant Import CompareDJs Parm ("CompareDJs" or
 "NoCompareDJs" or "").</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>java.io.Reader</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstImportFileRunParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editProofAsstImportFileRunParm</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                              java.lang.String&nbsp;valueCaption,
                              int&nbsp;valueFieldNbr)</code>
<div class="block">Validate input ProofAsst Import File RunParm option and returns Buffered
 File Reader object.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstImportUpdateDJsParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editProofAsstImportUpdateDJsParm</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                                java.lang.String&nbsp;valueCaption,
                                int&nbsp;valueFieldNbr)</code>
<div class="block">Validate Proof Assistant Import UpdateDJs Parm ("UpdateDJs" or
 "NoUpdateDJs" or "").</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstIncompleteStepCursor(mmj.util.RunParmArrayEntry)">editProofAsstIncompleteStepCursor</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">edit ProofAsstIncompleteStepCursor RunParm.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstLookAndFeel(mmj.util.RunParmArrayEntry)">editProofAsstLookAndFeel</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">edit ProofAsstLookAndFeel RunParm.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstMaximized(mmj.util.RunParmArrayEntry)">editProofAsstMaximized</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstMaximized RunParm.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstOutputCursorInstrumentation(mmj.util.RunParmArrayEntry)">editProofAsstOutputCursorInstrumentation</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstOutputCursorInstrumentation RunParm.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstPrintParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editProofAsstPrintParm</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                      java.lang.String&nbsp;valueCaption,
                      int&nbsp;valueFieldNbr)</code>
<div class="block">Validate Proof Assistant Export Print Parm ("Print" or "NoPrint").</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstProofFolder(mmj.util.RunParmArrayEntry)">editProofAsstProofFolder</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate Proof Assistant Proof Folder Runparm.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstProofFormat(mmj.util.RunParmArrayEntry)">editProofAsstProofFormat</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">edit ProofAsstProofFormat RunParm.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstRPNProofLeftCol(mmj.util.RunParmArrayEntry)">editProofAsstRPNProofLeftCol</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstRPNProofLeftCol.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstRPNProofRightCol(mmj.util.RunParmArrayEntry)">editProofAsstRPNProofRightCol</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstRPNProofRightCol.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstStartupProofWorksheet(mmj.util.RunParmArrayEntry)">editProofAsstStartupProofWorksheet</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate Proof Assistant Startup Proof Worksheet Runparm.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstTextAtTop(mmj.util.RunParmArrayEntry)">editProofAsstTextAtTop</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstTextAtTop RunParm.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstTextColumns(mmj.util.RunParmArrayEntry)">editProofAsstTextColumns</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstTextColumns</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstTextRows(mmj.util.RunParmArrayEntry)">editProofAsstTextRows</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstTextRows</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstUndoRedoEnabled(mmj.util.RunParmArrayEntry)">editProofAsstUndoRedoEnabled</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstUndoRedoEnabled RunParm.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editProofAsstUnifySearchExclude(mmj.util.RunParmArrayEntry)">editProofAsstUnifySearchExclude</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate ProofAsstUnifySearchExclude</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editRecheckProofAsstUsingProofVerifier(mmj.util.RunParmArrayEntry)">editRecheckProofAsstUsingProofVerifier</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate RecheckProofAsstUsingProofVerifier</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editStepSelectorDialogPaneHeight(mmj.util.RunParmArrayEntry)">editStepSelectorDialogPaneHeight</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate StepSelectorDialogPaneHeight.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editStepSelectorDialogPaneWidth(mmj.util.RunParmArrayEntry)">editStepSelectorDialogPaneWidth</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate StepSelectorDialogPaneWidth.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editStepSelectorMaxResults(mmj.util.RunParmArrayEntry)">editStepSelectorMaxResults</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate StepSelectorMaxResults</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#editStepSelectorShowSubstitutions(mmj.util.RunParmArrayEntry)">editStepSelectorShowSubstitutions</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Validate StepSelectorShowSubstitutions</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code><a href="../../mmj/pa/ProofAsst.html" title="class in mmj.pa">ProofAsst</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#getProofAsst()">getProofAsst</a></strong>()</code>
<div class="block">Fetch a ProofAsst object.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code><a href="../../mmj/pa/ProofAsstPreferences.html" title="class in mmj.pa">ProofAsstPreferences</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/ProofAsstBoss.html#getProofAsstPreferences()">getProofAsstPreferences</a></strong>()</code>
<div class="block">Fetches a reference to the ProofAsstPreferences, first initializing it if
 necessary.</div>
</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods_inherited_from_class_mmj.util.Boss">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;mmj.util.<a href="../../mmj/util/Boss.html" title="class in mmj.util">Boss</a></h3>
<code><a href="../../mmj/util/Boss.html#buildFileObjectForExistingFile(java.io.File, java.lang.String, java.lang.String)">buildFileObjectForExistingFile</a>, <a href="../../mmj/util/Boss.html#buildFileObjectForExistingFolder(java.io.File, java.lang.String, java.lang.String)">buildFileObjectForExistingFolder</a>, <a href="../../mmj/util/Boss.html#doConstructBufferedFileReader(java.lang.String, java.lang.String, java.io.File)">doConstructBufferedFileReader</a>, <a href="../../mmj/util/Boss.html#doConstructBufferedFileWriter(java.lang.String, java.lang.String, java.lang.String, java.io.File)">doConstructBufferedFileWriter</a>, <a href="../../mmj/util/Boss.html#doConstructPrintWriter(java.io.File, java.lang.String, java.lang.String, java.lang.String, java.lang.String)">doConstructPrintWriter</a>, <a href="../../mmj/util/Boss.html#editExistingFileRunParm(java.io.File, mmj.util.RunParmArrayEntry, java.lang.String, int)">editExistingFileRunParm</a>, <a href="../../mmj/util/Boss.html#editExistingFolderNameParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editExistingFolderNameParm</a>, <a href="../../mmj/util/Boss.html#editExistingFolderRunParm(java.io.File, mmj.util.RunParmArrayEntry, java.lang.String, int)">editExistingFolderRunParm</a>, <a href="../../mmj/util/Boss.html#editFileCharsetParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editFileCharsetParm</a>, <a href="../../mmj/util/Boss.html#editFileNameParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editFileNameParm</a>, <a href="../../mmj/util/Boss.html#editFileUsageParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editFileUsageParm</a>, <a href="../../mmj/util/Boss.html#editOnOffRunParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editOnOffRunParm</a>, <a href="../../mmj/util/Boss.html#editPrintWriterRunParm(java.io.File, mmj.util.RunParmArrayEntry, java.lang.String)">editPrintWriterRunParm</a>, <a href="../../mmj/util/Boss.html#editProofWorksheetFileNameSuffix(mmj.util.RunParmArrayEntry, java.lang.String, int)">editProofWorksheetFileNameSuffix</a>, <a href="../../mmj/util/Boss.html#editRunParmNonNegativeInteger(java.lang.Integer, java.lang.String)">editRunParmNonNegativeInteger</a>, <a href="../../mmj/util/Boss.html#editRunParmPositiveInteger(java.lang.Integer, java.lang.String)">editRunParmPositiveInteger</a>, <a href="../../mmj/util/Boss.html#editRunParmPrintableNoBlanksString(mmj.util.RunParmArrayEntry, java.lang.String, int)">editRunParmPrintableNoBlanksString</a>, <a href="../../mmj/util/Boss.html#editRunParmValueInteger(java.lang.String, java.lang.String)">editRunParmValueInteger</a>, <a href="../../mmj/util/Boss.html#editRunParmValueReqInt(mmj.util.RunParmArrayEntry, java.lang.String, int)">editRunParmValueReqInt</a>, <a href="../../mmj/util/Boss.html#editRunParmValueReqNonNegativeInt(mmj.util.RunParmArrayEntry, java.lang.String, int)">editRunParmValueReqNonNegativeInt</a>, <a href="../../mmj/util/Boss.html#editRunParmValueReqPosInt(mmj.util.RunParmArrayEntry, java.lang.String, int)">editRunParmValueReqPosInt</a>, <a href="../../mmj/util/Boss.html#editRunParmValueReqRGBColor(mmj.util.RunParmArrayEntry, java.lang.String)">editRunParmValueReqRGBColor</a>, <a href="../../mmj/util/Boss.html#editRunParmValuesLength(mmj.util.RunParmArrayEntry, java.lang.String, int)">editRunParmValuesLength</a>, <a href="../../mmj/util/Boss.html#editRunParmValueStmt(java.lang.String, java.lang.String, mmj.lang.LogicalSystem)">editRunParmValueStmt</a>, <a href="../../mmj/util/Boss.html#editRunParmValueTheorem(java.lang.String, java.lang.String, mmj.lang.LogicalSystem)">editRunParmValueTheorem</a>, <a href="../../mmj/util/Boss.html#editYesNoRunParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editYesNoRunParm</a>, <a href="../../mmj/util/Boss.html#getSelectorAllRunParmOption(mmj.util.RunParmArrayEntry, java.lang.String, int)">getSelectorAllRunParmOption</a>, <a href="../../mmj/util/Boss.html#getSelectorCountRunParmOption(mmj.util.RunParmArrayEntry, java.lang.String, int)">getSelectorCountRunParmOption</a>, <a href="../../mmj/util/Boss.html#getSelectorTheoremRunParmOption(mmj.util.RunParmArrayEntry, java.lang.String, int, java.util.Map)">getSelectorTheoremRunParmOption</a></code></li>
</ul>
<ul class="blockList">
<li class="blockList"><a name="methods_inherited_from_class_java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.Object</h3>
<code>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="ProofAsstBoss(mmj.util.BatchFramework)">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>ProofAsstBoss</h4>
<pre>public&nbsp;ProofAsstBoss(<a href="../../mmj/util/BatchFramework.html" title="class in mmj.util">BatchFramework</a>&nbsp;batchFramework)</pre>
<div class="block">Constructor with BatchFramework for access to environment.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>batchFramework</code> - for access to environment.</dd></dl>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method_detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="doRunParmCommand(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>doRunParmCommand</h4>
<pre>public&nbsp;boolean&nbsp;doRunParmCommand(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                         throws java.lang.IllegalArgumentException,
                                <a href="../../mmj/mmio/MMIOException.html" title="class in mmj.mmio">MMIOException</a>,
                                java.io.FileNotFoundException,
                                java.io.IOException,
                                <a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></pre>
<div class="block">Executes a single command from the RunParmFile.</div>
<dl>
<dt><strong>Specified by:</strong></dt>
<dd><code><a href="../../mmj/util/Boss.html#doRunParmCommand(mmj.util.RunParmArrayEntry)">doRunParmCommand</a></code>&nbsp;in class&nbsp;<code><a href="../../mmj/util/Boss.html" title="class in mmj.util">Boss</a></code></dd>
<dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - the RunParmFile line to execute.</dd>
<dt><span class="strong">Returns:</span></dt><dd>boolean "consumed" indicating that the input runParm should not
         be processed again.</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred in the RunParm</dd>
<dd><code><a href="../../mmj/mmio/MMIOException.html" title="class in mmj.mmio">MMIOException</a></code> - if an error occurred in the RunParm</dd>
<dd><code>java.io.FileNotFoundException</code> - if an error occurred in the RunParm</dd>
<dd><code>java.io.IOException</code> - if an error occurred in the RunParm</dd>
<dd><code><a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></code> - if an error occurred in the RunParm</dd></dl>
</li>
</ul>
<a name="getProofAsst()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getProofAsst</h4>
<pre>public&nbsp;<a href="../../mmj/pa/ProofAsst.html" title="class in mmj.pa">ProofAsst</a>&nbsp;getProofAsst()
                       throws <a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></pre>
<div class="block">Fetch a ProofAsst object.</div>
<dl><dt><span class="strong">Returns:</span></dt><dd>ProofAsst object, ready to go, or null;.</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code><a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstLookAndFeel(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstLookAndFeel</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstLookAndFeel(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                 throws java.lang.IllegalArgumentException</pre>
<div class="block">edit ProofAsstLookAndFeel RunParm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstDjVarsSoftErrors(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstDjVarsSoftErrors</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstDjVarsSoftErrors(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                      throws java.lang.IllegalArgumentException</pre>
<div class="block">edit ProofAsstDjVarsSoftErrors RunParm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstProofFormat(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstProofFormat</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstProofFormat(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                 throws java.lang.IllegalArgumentException</pre>
<div class="block">edit ProofAsstProofFormat RunParm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstIncompleteStepCursor(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstIncompleteStepCursor</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstIncompleteStepCursor(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                          throws java.lang.IllegalArgumentException</pre>
<div class="block">edit ProofAsstIncompleteStepCursor RunParm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstForegroundColorRGB(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstForegroundColorRGB</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstForegroundColorRGB(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                        throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstForegroundColorRGB RunParm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstBackgroundColorRGB(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstBackgroundColorRGB</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstBackgroundColorRGB(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                        throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstBackgroundColorRGB RunParm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstFontSize(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstFontSize</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstFontSize(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                              throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstFontSize RunParm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - IllegalArgumentException</dd></dl>
</li>
</ul>
<a name="editProofAsstFontFamily(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstFontFamily</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstFontFamily(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstFontFamily RunParm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - IllegalArgumentException</dd></dl>
</li>
</ul>
<a name="editProofAsstFontBold(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstFontBold</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstFontBold(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                              throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstFontBold RunParm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstTextColumns(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstTextColumns</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstTextColumns(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                 throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstTextColumns</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstTextRows(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstTextRows</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstTextRows(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                              throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstTextRows</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - IllegalArgumentException</dd></dl>
</li>
</ul>
<a name="editProofAsstErrorMessageRows(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstErrorMessageRows</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstErrorMessageRows(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                      throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstErrorMessageRows</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - IllegalArgumentException</dd></dl>
</li>
</ul>
<a name="editProofAsstErrorMessageColumns(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstErrorMessageColumns</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstErrorMessageColumns(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                         throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstErrorMessageColumns</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstMaximized(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstMaximized</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstMaximized(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                               throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstMaximized RunParm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstTextAtTop(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstTextAtTop</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstTextAtTop(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                               throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstTextAtTop RunParm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstFormulaLeftCol(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstFormulaLeftCol</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstFormulaLeftCol(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                    throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstFormulaLeftCol.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurre</dd></dl>
</li>
</ul>
<a name="editProofAsstFormulaRightCol(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstFormulaRightCol</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstFormulaRightCol(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                     throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstFormulaRightCol.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstRPNProofLeftCol(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstRPNProofLeftCol</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstRPNProofLeftCol(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                     throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstRPNProofLeftCol.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurre</dd></dl>
</li>
</ul>
<a name="editProofAsstRPNProofRightCol(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstRPNProofRightCol</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstRPNProofRightCol(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                      throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstRPNProofRightCol.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurre</dd></dl>
</li>
</ul>
<a name="editStepSelectorMaxResults(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editStepSelectorMaxResults</h4>
<pre>protected&nbsp;void&nbsp;editStepSelectorMaxResults(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                   throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate StepSelectorMaxResults
 <p>
 Must be positive integer.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurre</dd></dl>
</li>
</ul>
<a name="editStepSelectorShowSubstitutions(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editStepSelectorShowSubstitutions</h4>
<pre>protected&nbsp;void&nbsp;editStepSelectorShowSubstitutions(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                          throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate StepSelectorShowSubstitutions
 <p>
 Must be yes, no, on, off, true, false.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurre</dd></dl>
</li>
</ul>
<a name="editStepSelectorDialogPaneWidth(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editStepSelectorDialogPaneWidth</h4>
<pre>protected&nbsp;void&nbsp;editStepSelectorDialogPaneWidth(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                        throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate StepSelectorDialogPaneWidth.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editStepSelectorDialogPaneHeight(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editStepSelectorDialogPaneHeight</h4>
<pre>protected&nbsp;void&nbsp;editStepSelectorDialogPaneHeight(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                         throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate StepSelectorDialogPaneHeight.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstAssrtListFreespace(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstAssrtListFreespace</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstAssrtListFreespace(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                        throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstAssrtListFreespace.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstDefaultFileNameSuffix(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstDefaultFileNameSuffix</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstDefaultFileNameSuffix(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                           throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate Proof Assistant Default File Name Suffix</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstProofFolder(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstProofFolder</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstProofFolder(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                 throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate Proof Assistant Proof Folder Runparm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstStartupProofWorksheet(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstStartupProofWorksheet</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstStartupProofWorksheet(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                           throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate Proof Assistant Startup Proof Worksheet Runparm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstOutputCursorInstrumentation(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstOutputCursorInstrumentation</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstOutputCursorInstrumentation(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                                 throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstOutputCursorInstrumentation RunParm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstAutoReformat(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstAutoReformat</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstAutoReformat(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                  throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstAutoReformat RunParm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstUndoRedoEnabled(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstUndoRedoEnabled</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstUndoRedoEnabled(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                     throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate ProofAsstUndoRedoEnabled RunParm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editRecheckProofAsstUsingProofVerifier(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editRecheckProofAsstUsingProofVerifier</h4>
<pre>protected&nbsp;void&nbsp;editRecheckProofAsstUsingProofVerifier(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                               throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate RecheckProofAsstUsingProofVerifier</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstUnifySearchExclude(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstUnifySearchExclude</h4>
<pre>protected&nbsp;void&nbsp;editProofAsstUnifySearchExclude(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</pre>
<div class="block">Validate ProofAsstUnifySearchExclude</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - run parm parsed into RunParmArrayEntry object</dd></dl>
</li>
</ul>
<a name="doProofAsstExportToFile(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>doProofAsstExportToFile</h4>
<pre>public&nbsp;void&nbsp;doProofAsstExportToFile(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                             throws java.lang.IllegalArgumentException,
                                    java.io.IOException,
                                    <a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></pre>
<div class="block">Exports currently loaded theorem proofs to an export file.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line.</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd>
<dd><code>java.io.IOException</code> - if an error occurred</dd>
<dd><code><a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="doProofAsstBatchTest(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>doProofAsstBatchTest</h4>
<pre>public&nbsp;void&nbsp;doProofAsstBatchTest(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                          throws java.lang.IllegalArgumentException,
                                 java.io.IOException,
                                 <a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></pre>
<div class="block">Reads and unifies theorem proofs in test mode.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line.</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd>
<dd><code>java.io.IOException</code> - if an error occurred</dd>
<dd><code><a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="doStepSelectorBatchTest(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>doStepSelectorBatchTest</h4>
<pre>public&nbsp;void&nbsp;doStepSelectorBatchTest(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                             throws java.lang.IllegalArgumentException,
                                    java.io.IOException,
                                    <a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></pre>
<div class="block">Exercises the StepSelectorSearch code.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line.</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd>
<dd><code>java.io.IOException</code> - if an error occurred</dd>
<dd><code><a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="doPreprocessRequestBatchTest(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>doPreprocessRequestBatchTest</h4>
<pre>public&nbsp;void&nbsp;doPreprocessRequestBatchTest(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                                  throws java.lang.IllegalArgumentException,
                                         java.io.IOException,
                                         <a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></pre>
<div class="block">Exercises the PreprocessRequest code.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line.</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd>
<dd><code>java.io.IOException</code> - if an error occurred</dd>
<dd><code><a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstImportFileRunParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstImportFileRunParm</h4>
<pre>public&nbsp;java.io.Reader&nbsp;editProofAsstImportFileRunParm(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                                            java.lang.String&nbsp;valueCaption,
                                            int&nbsp;valueFieldNbr)
                                              throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate input ProofAsst Import File RunParm option and returns Buffered
 File Reader object.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line parsed into RunParmArrayEntry.</dd><dd><code>valueCaption</code> - name of RunParm, for error message output.</dd><dd><code>valueFieldNbr</code> - option number of file name</dd>
<dt><span class="strong">Returns:</span></dt><dd>BufferedReader file object.</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstExportFileRunParm(mmj.util.RunParmArrayEntry, java.lang.String)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstExportFileRunParm</h4>
<pre>protected&nbsp;java.io.BufferedWriter&nbsp;editProofAsstExportFileRunParm(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                                                    java.lang.String&nbsp;valueCaption)
                                                         throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate output ProofAsst Export File RunParm options and returns
 FileWriter object</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line parsed into RunParmArrayEntry.</dd><dd><code>valueCaption</code> - name of RunParm, for error message output.</dd>
<dt><span class="strong">Returns:</span></dt><dd>BufferedWriter file object.</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstExportFormatUnifiedParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstExportFormatUnifiedParm</h4>
<pre>protected&nbsp;boolean&nbsp;editProofAsstExportFormatUnifiedParm(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                                           java.lang.String&nbsp;valueCaption,
                                           int&nbsp;valueFieldNbr)
                                                throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate Proof Assistant Export Format Parm ("unified" or "un-unified").</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line.</dd><dd><code>valueCaption</code> - name of RunParm, for error message output.</dd><dd><code>valueFieldNbr</code> - number of field in RunParm line.</dd>
<dt><span class="strong">Returns:</span></dt><dd>boolean unified or un-unified proof format parm</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstExportHypsRandomizedParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstExportHypsRandomizedParm</h4>
<pre>protected&nbsp;boolean&nbsp;editProofAsstExportHypsRandomizedParm(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                                            java.lang.String&nbsp;valueCaption,
                                            int&nbsp;valueFieldNbr)
                                                 throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate Proof Assistant Export Hyps Randomized Parm ("Randomized" or
 "NotRandomized").</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line.</dd><dd><code>valueCaption</code> - name of RunParm, for error message output.</dd><dd><code>valueFieldNbr</code> - number of field in RunParm line.</dd>
<dt><span class="strong">Returns:</span></dt><dd>boolean Randomized or NotRandomized proof format parm</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstExportDeriveFormulasParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstExportDeriveFormulasParm</h4>
<pre>protected&nbsp;boolean&nbsp;editProofAsstExportDeriveFormulasParm(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                                            java.lang.String&nbsp;valueCaption,
                                            int&nbsp;valueFieldNbr)
                                                 throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate Proof Assistant Export DeriveFormulas Parm ("DeriveFormulas" or
 "NoDeriveFormulas" or "").</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line.</dd><dd><code>valueCaption</code> - name of RunParm, for error message output.</dd><dd><code>valueFieldNbr</code> - number of field in RunParm line.</dd>
<dt><span class="strong">Returns:</span></dt><dd>boolean DeriveFormulas or NoDeriveFormulas parm</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstImportCompareDJsParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstImportCompareDJsParm</h4>
<pre>protected&nbsp;boolean&nbsp;editProofAsstImportCompareDJsParm(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                                        java.lang.String&nbsp;valueCaption,
                                        int&nbsp;valueFieldNbr)
                                             throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate Proof Assistant Import CompareDJs Parm ("CompareDJs" or
 "NoCompareDJs" or "").</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line.</dd><dd><code>valueCaption</code> - name of RunParm, for error message output.</dd><dd><code>valueFieldNbr</code> - number of field in RunParm line.</dd>
<dt><span class="strong">Returns:</span></dt><dd>boolean CompareDJs or NoCompareDJs parm</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstImportUpdateDJsParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstImportUpdateDJsParm</h4>
<pre>protected&nbsp;boolean&nbsp;editProofAsstImportUpdateDJsParm(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                                       java.lang.String&nbsp;valueCaption,
                                       int&nbsp;valueFieldNbr)
                                            throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate Proof Assistant Import UpdateDJs Parm ("UpdateDJs" or
 "NoUpdateDJs" or "").</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line.</dd><dd><code>valueCaption</code> - name of RunParm, for error message output.</dd><dd><code>valueFieldNbr</code> - number of field in RunParm line.</dd>
<dt><span class="strong">Returns:</span></dt><dd>boolean UpdateDJs or NoUpdateDJs parm</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstAsciiRetestParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstAsciiRetestParm</h4>
<pre>protected&nbsp;boolean&nbsp;editProofAsstAsciiRetestParm(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                                   java.lang.String&nbsp;valueCaption,
                                   int&nbsp;valueFieldNbr)
                                        throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate Proof Assistant AsciiRetest Parm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line.</dd><dd><code>valueCaption</code> - name of RunParm, for error message output.</dd><dd><code>valueFieldNbr</code> - number of field in RunParm line.</dd>
<dt><span class="strong">Returns:</span></dt><dd>boolean AsciiRetest or NoAsciiRetest parm</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="editProofAsstPrintParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>editProofAsstPrintParm</h4>
<pre>protected&nbsp;boolean&nbsp;editProofAsstPrintParm(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                             java.lang.String&nbsp;valueCaption,
                             int&nbsp;valueFieldNbr)
                                  throws java.lang.IllegalArgumentException</pre>
<div class="block">Validate Proof Assistant Export Print Parm ("Print" or "NoPrint").</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line.</dd><dd><code>valueCaption</code> - name of RunParm, for error message output.</dd><dd><code>valueFieldNbr</code> - number of field in RunParm line.</dd>
<dt><span class="strong">Returns:</span></dt><dd>boolean Print or NoPrint of Proof Worksheets</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="doRunProofAsstGUI(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>doRunProofAsstGUI</h4>
<pre>public&nbsp;void&nbsp;doRunProofAsstGUI(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                       throws java.lang.IllegalArgumentException,
                              java.io.IOException,
                              <a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></pre>
<div class="block">Executes the RunProofAsstGUI command, prints any messages, etc.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line.</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd>
<dd><code>java.io.IOException</code> - if an error occurred</dd>
<dd><code><a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="getProofAsstPreferences()">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>getProofAsstPreferences</h4>
<pre>public&nbsp;<a href="../../mmj/pa/ProofAsstPreferences.html" title="class in mmj.pa">ProofAsstPreferences</a>&nbsp;getProofAsstPreferences()</pre>
<div class="block">Fetches a reference to the ProofAsstPreferences, first initializing it if
 necessary.
 <p>
 Note: must re-initialize the TMFFPreferences reference in
 ProofAsstPreferences because TMFFBoss controls which instance of
 TMFFPreferences is active!!!</div>
<dl><dt><span class="strong">Returns:</span></dt><dd>ProofAsstPreferences object ready to go.</dd></dl>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar_bottom">
<!--   -->
</a><a href="#skip-navbar_bottom" title="Skip navigation links"></a><a name="navbar_bottom_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/util/Paths.html" title="class in mmj.util"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/util/ProofAsstBoss.html" target="_top">Frames</a></li>
<li><a href="ProofAsstBoss.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#fields_inherited_from_class_mmj.util.Boss">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_detail">Method</a></li>
</ul>
</div>
<a name="skip-navbar_bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
